Dempster-Shafer theory framed in modal logic
نویسندگان
چکیده
In this paper, the modal logic interpretation of plausibility and belief measures on an arbitrary universe of discourse, as proposed by Harmanec et al., is further developed by employing notions from set-valued analysis. In a model of modal logic, a multivalued mapping is constructed from the accessibility relation and a mapping determined by the value assignment function. This multivalued mapping induces a plausibility measure and a belief measure expressed in terms of conditional probabilities of inverse and superinverse images, or equivalently, in terms of conditional probabilities of truth sets of possibilitations and necessitations. Restricting to a ®nite universe of discourse, multivalued interpretations of basic probability assignments and of commonality functions are also obtained, in terms of conditional probabilities of pure inverse and subinverse images, or equivalently, in terms of conditional probabilities of truth sets of particular logical expressions involving possibilitations and necessitations. Ó 1999 Elsevier Science Inc. All rights reserved.
منابع مشابه
A NEW FUZZY MORPHOLOGY APPROACH BASED ON THE FUZZY-VALUED GENERALIZED DEMPSTER-SHAFER THEORY
In this paper, a new Fuzzy Morphology (FM) based on the GeneralizedDempster-Shafer Theory (GDST) is proposed. At first, in order to clarify the similarity ofdefinitions between Mathematical Morphology (MM) and Dempster-Shafer Theory (DST),dilation and erosion morphological operations are studied from a different viewpoint. Then,based on this similarity, a FM based on the GDST is proposed. Unlik...
متن کاملA Study on Properties of Dempster-Shafer Theory to Probability Theory transformations
In this paper, five conditions that have been proposed by Cobb and Shenoy are studied for nine different mappings from the Dempster-Shafer theory to the probability theory. After comparing these mappings, one of the considerable results indicates that none of the mappings satisfies the condition of invariance with respect to the marginalization process. In more details, the main reason for this...
متن کاملمحاسبه فاصله عدم قطعیت بر پایه آنتروپی شانون و تئوری دمپستر-شافر از شواهد
Abstract Dempster Shafer theory is the most important method of reviewing uncertainty for information system. This theory as introduced by Dempster using the concept of upper and lower probabilities extended later by Shafer. Another important application of entropy as a basic concept in the information theory can be used as a uncertainty measurement of the system in specific situation In th...
متن کاملREGION MERGING STRATEGY FOR BRAIN MRI SEGMENTATION USING DEMPSTER-SHAFER THEORY
Detection of brain tissues using magnetic resonance imaging (MRI) is an active and challenging research area in computational neuroscience. Brain MRI artifacts lead to an uncertainty in pixel values. Therefore, brain MRI segmentation is a complicated concern which is tackled by a novel data fusion approach. The proposed algorithm has two main steps. In the first step the brain MRI is divided to...
متن کاملBelief Functions on Distributive Lattices
The Dempster-Shafer theory of belief functions is an important approach to deal with uncertainty in AI. In the theory, belief functions are defined on Boolean algebras of events. In many applications of belief functions in real world problems, however, the objects that we manipulate is no more a Boolean algebra but a distributive lattice. In this paper, we extend the Dempster-Shafer theory to t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Approx. Reasoning
دوره 21 شماره
صفحات -
تاریخ انتشار 1999